//package cn.oyzh.jeditermfx.terminal.ui;
//
//import org.jetbrains.annotations.NotNull;
//
//public interface JediTermSearchComponentListener {
//  void searchSettingsChanged(@NotNull String textToFind, boolean ignoreCase);
//
//  void hideSearchComponent();
//
//  void selectNextFindResult();
//
//  void selectPrevFindResult();
//}
